设彤是维数大于2的复Hilbert空间，B（H）表示H上所有有界线性算子构成的代数。如果对所有的A，B∈．B（H）且A^＊B=AB^＊=0，有Ф（A）^＊B＋A^＊Ф（B）=Ф（A）B^＊＋AФ（B）^＊=......